17 ideas
| 13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
| 9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
| 18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
| 18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |
| 12790 | Generalisations must be invariant to explain anything [Leuridan] |
| 12789 | Biological functions are explained by disposition, or by causal role [Leuridan] |
| 14386 | Mechanisms are ontologically dependent on regularities [Leuridan] |
| 12787 | Mechanisms can't explain on their own, as their models rest on pragmatic regularities [Leuridan] |
| 14384 | We can show that regularities and pragmatic laws are more basic than mechanisms [Leuridan] |
| 14388 | Mechanisms must produce macro-level regularities, but that needs micro-level regularities [Leuridan] |
| 14389 | There is nothing wrong with an infinite regress of mechanisms and regularities [Leuridan] |
| 14387 | Rather than dispositions, functions may be the element that brought a thing into existence [Leuridan] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 14382 | Pragmatic laws allow prediction and explanation, to the extent that reality is stable [Leuridan] |
| 14385 | Strict regularities are rarely discovered in life sciences [Leuridan] |
| 14383 | A 'law of nature' is just a regularity, not some entity that causes the regularity [Leuridan] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |